Pointers in Far Memory

نویسندگان

چکیده

Effectively exploiting emerging far-memory technology requires consideration of operating on richly connected data outside the context parent process. Operating-system in development offers help by exposing abstractions such as memory objects and globally invariant pointers that can be traversed devices newly instantiated compute. Such ideas will allow applications running future heterogeneous distributed systems with disaggregated nodes to exploit near-memory processing for higher performance independently scale their compute resources lower cost.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic Memory with Pointers

We introduce a segment-offset-plane memory model for symbolic execution that supports symbolic pointers, allocations of memory blocks of symbolic sizes, and multi-writes. We further describe our efficient implementation of the model in a free open-source project Bugst. Experimental results provide empirical evidence that the implemented memory model effectively tackles the variable storage-refe...

متن کامل

A Unified Memory Model for Pointers

One of the challenges in verifying systems level code is the low-level, untyped view of the machine state that operating systems have. We describe a way to faithfully formalise this view while at the same time providing an easy-to-use, abstract and typed view of memory where possible. We have used this formal memory model to verify parts of the virtual memory subsystem of the L4 high-performanc...

متن کامل

Cling: A Memory Allocator to Mitigate Dangling Pointers

Use-after-free vulnerabilities exploiting so-called dangling pointers to deallocated objects are just as dangerous as buffer overflows: they may enable arbitrary code execution. Unfortunately, state-of-the-art defenses against use-after-free vulnerabilities require compiler support, pervasive source code modifications, or incur high performance overheads. This paper presents and evaluates Cling...

متن کامل

Pointers versus Arithmetic in PRAMs

Manipulation of pointers in shared data structures is an important communication mechanism used in many parallel algorithms. Indeed, many fundamental algorithms do essentially nothing else. A Parallel Pointer Machine, (or PPM ) is a parallel model having pointers as its principal data type. PPMs have been characterized as PRAMs obeying two restrictions | rst, restricted arithmetic capabilities,...

متن کامل

Montana Smart Pointers: They're Smart, and They're Pointers

The Montana C++ programming environment provides an API interface to the compiler, which allows the compilation process to be extended through programmer-supplied tools. This paper investigates the feasibility of that interface, using smart pointers as an example. Smart pointers are a powerful feature of the C++ language that enable a variety of applications, such as garbage collection, persist...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Queue

سال: 2023

ISSN: ['1542-7730', '1542-7749']

DOI: https://doi.org/10.1145/3606029